Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
801	Microsoft Word - Dušan Teodorović.doc Add to Reading List Source URL: www.konus.ac.rs Language: English - Date: 2014-09-30 04:27:02 Ant colony optimization algorithms Stochastic optimization Bees algorithm Fuzzy logic Logic Applied mathematics Artificial intelligence Mathematics Logic in computer science
802	Independence and Concurrent Separation Logic Jonathan Hayman joint work with Glynn Winskel Computer Laboratory University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-09 07:12:42 Diagrams Petri net Software engineering Computer science Logic in computer science Postcondition Logic programming Constructible universe Theoretical computer science Models of computation Concurrency
803	Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:32 Computer science Applied mathematics Concurrency Denotational semantics Concurrent computing Actor model Game semantics Determinacy Petri net Theoretical computer science Logic in computer science Models of computation
804	AN INTRODUCTION TO FUZZY LOGIC (_Seattle_Robotics_ Add to Reading List Source URL: www.foretrade.com Language: English - Date: 2009-09-24 09:59:33 Mathematics Control engineering Artificial intelligence Logic in computer science Control theory Fuzzy control system Defuzzification Control system Fuzzy set Logic Fuzzy logic Mathematical logic
805	Algorithms Lecture 0: Introduction [Sp’14] Hinc incipit algorismus. Haec algorismus ars praesens dicitur in qua Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:02:12 Analysis of algorithms Algorithm Mathematical logic Multiplication algorithm Time complexity Stable marriage problem Stability Euclidean algorithm CYK algorithm Theoretical computer science Mathematics Applied mathematics
806	Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany Add to Reading List Source URL: www.cs.kun.nl Language: English - Date: 2002-05-29 03:53:26 Logic in computer science Formal methods Concurrent computing Cross-platform software Process calculi Communicating sequential processes Runtime verification Actor model Process calculus Computing Theoretical computer science Software engineering
807	KMAP3 is a very powerful Boolean calculator is a very powerful tool for evaluating, calculating of Boolean Algebra expressions. The best Boolean calculator on internet ! Even wolframalpha.com does not have such powerful Add to Reading List Source URL: omidmotahed.com Language: English - Date: 2015-02-15 00:54:58 Boolean algebra Algebra Diagrams Karnaugh map Logic in computer science Algebraic logic Mathematical logic Mathematics
808	Dimensions in Program Synthesis [Invited Talk Paper] Sumit Gulwani Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-06-02 04:17:08 Artificial intelligence Programming paradigms Cybernetics Formal methods Logic in computer science Algorithm Synthesizer Program synthesis Computer Software engineering Constraint programming Computing
809	Abstraction and Performance from Explicit Monadic Reflection Jonathan Sobel Erik Hilsdale SAS Institute Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Adjoint functors Functional programming Lambda calculus Monad Logic in computer science Arrow Closure List Scheme Software engineering Computer programming Computing
810	A Multispeed Model for Lattice Gas Hydrodynamics Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:27 English phonology English orthography Combinatory logic Lambda calculus Logic in computer science

UPDATE